find the 3rd highest using stream API